Chinese translation for "rewriting system"

重写系统

Related Translations:

rewritten:  重写

rewrote:  重写

rewriting:  改写

rewrite:  vt.(-wrote , -written ) 书面答复；重写；再写；改写，修改。n.改写[重写]的文稿。n.-man (报馆等的)改写加工编辑。

rewriting unit:  重写单元

rewrite mode:  重写方式

code rewriting:  编码再生代码再生, 代码重写代码重写

rewriting rule:  改写规则重写规则

parallel rewriting:  并行重写

rewrite rule:  重写规则

Example Sentences:

	1.	8 feng s , cao s , liu s . mechanizing weak termination proving of term rewriting systems by induction . in proc 本方法是对基于结构归纳法和项重写的弱终止性形式自动证明方法的扩展。
	2.	Theoretical computer science , 1997 , 175 : 127 - 158 . 3 toyama y . how to prove equivalence of term rewriting systems without induction 本方法基于覆盖集合归纳法和项重写系统的元计算模型：动态项重写计算。
	3.	11 feng s . equivalence proving of term rewriting systems by induction . computer science , 2000 , 27 : 5 - 7 . in chinese 12 gramlich b . abstract relations between restricted termination and confluence properties of rewrite systems 本方法既可以通过在证明中使用命题来实现“向前证明” ，也可以通过在证明的过程中发现引理来实现“向后证明” 。
	4.	Weakly terminating property in a restricted domain of a term rewriting system , one with structural induction , one with cover - set induction , and the third without induction , and describes their mechanization based on a meta - computation model for term rewriting systems - dynamic term rewriting calculus 基于覆盖集合归纳法的项重写系统弱基终止性证明的机械化论文提出一种关于一般化了的项重写系统弱基终止性，即，在特定领域的项重写系统弱终止性的形式自动证明方法。
	5.	This paper analyzes and develops the existing risk analysis model bases on term rewriting system . it divides the group of assets into critical and normal subset , and performs the analysis in separate procedure . this reduces the system complexity , guarantee the priority of the critical assets ; it also introduces and / or attack tree into the attack scenario , cut down the system requirement of space , and provides support for both the coming graph rewriting model and decision selection algorithm 本文针对项重写风险分析模型中资产的关键性级别,划分出关键资产,通过分步的风险分析,实现不仅可以降低系统复杂度,还能有效保证关键资产的优先处理;引入了与或攻击树构建攻击场景,节约了运行所需的空间,为后来的决策选择打下基础,同时也为以后的图重写的风险分析提供依据。

Similar Words：

"rewriting history" Chinese translation, "rewriting life stories" Chinese translation, "rewriting operation" Chinese translation, "rewriting rule" Chinese translation, "rewriting statement" Chinese translation, "rewriting unit" Chinese translation, "rewritingrule" Chinese translation, "rewritten" Chinese translation, "rewrote" Chinese translation, "rewson" Chinese translation